pyrrolidine from lysine